2005 Plenary Session Will Be Enlightening and Entertaining

Opening Session Stream: Contributed Session Plenary Session Stream: Plenary Lectures Invited Session

Stream: Contributed session Plenary session Chair: Laura Palagi, Dipartimento di Ingegneria informatica automatica e gestionale, La Sapienza Università di Roma, Via Ariosto, 25, 00185, Roma, Italy, [email protected] Chair: Fabio Schoen, Dipartimento di Ingegneria dell’Informazione, Università degli Studi di Firenze, via di Santa Marta, 3, 50139, Firenze, Italy, [email protected] Wednes...

Plenary Session 2P

This session features exciting keynote speeches by Rajeev Madhavan (Chairman & CEO, Magma Design Automation), Michael Reinhardt (CEO & President, RubiCAD), and Shekhar Borker (Intel Fellow & Director of Circuit Research Lab). In the first keynote speech, titled “Addressing the IC Designer’s Needs: Integrated Design Software for Faster, More Economical Chip Design”, Rajeev Madhaven highlights th...

This number will be updated

Plenary Session # 1 Saturday 9 : 00 - 10 :

Large scale phenomena in homotopy theory (Jordan Hall 124) Paul Goerss (Northwestern University) In the late 1940s it wasn’t clear which was the harder problem: the cohomology of Eilenberg-MacLane spaces or the stable homotopy groups of spheres. After the Cartan-Serre work on Eilenberg-MacLane spaces in the early ’50s, people then optimistically set about computing the homotopy groups of sphere...

A panel session-Formal methods in programming-When will they be practical? SESSION CHAIRMAN-KARL

Formal methods, i.e., use of mathematical rigor, have been employed by research computer scientists in their attempt to develop general results for many aspects of computer science, e.g., computational complexity, undecidability, numerical analysis, programming language semantics. Much of this work has had little impact on those charged with producing working software systems. However, in recen...